/*----------------------------- logo and breadcrumbs area -----------------------------*/

#logoBar {
  width:100%;
  background: url(../images/title-fill.png) repeat-x;
  height: 54px;
  background-color: rgb(78,77,107);
}

#logo {
  position: absolute;
  left: 0px;
  height: 48px;
  top: 0px;
}

#breadcrumbs {
  margin: 0.2em;
  margin-bottom: 1em;
}




/*----------------------------- colors and fonts -----------------------------*/
body {
  font-family: Tahoma, Verdana, Helvetica, sans serif;
  font-size: 0.8em;
}

.error {
  color: red;
  font-weight: bold;
}

.log-preamble {
  color: rgb(100,100,100);
}

.log-text {
    font-weight: bold;
}

.log-level-SEVERE {
    color: red;
}

.log-level-WARNING {
    color: goldenrod;
}

.log-detail {
    font-weight: normal;
}

.log-row {
    padding-top: 4px;
    padding-bottom: 4px;
}

.state_aborted {
    color: red;
}